
			package fr.inria.phoenix.scenario.bwsnfirefighting.deploy;

			public class Main {

			/**
			Instantiate your DiaSpec controller and context
			components in this main method.
			*/
			public static void main(String[] args) {

			}
			}
			